Automatic Testing for Link Correctness on the Internet

نویسندگان

  • Wen-Kui Chang
  • Shing-Kai Hon
چکیده

The user-friendly convenience of the WWW promotes its rapid application delivery, but the technical complexities of a website and variances in the browser make web testing and quality control much more difficult. This paper proposes an automatic framework for testing hyperlink correctness in the Internet environment. We first investigate the underlying features of Internet applications and then discuss quality issues and a performance index. We study how to employ the technique of statistical usage testing in such a domain and develop an integrated validating mechanism for web-based applications. All possible navigation paths are first formulated to represent a scenario model with the Markov chain property, which is then used to statistically generate a navigation-script file. After tracing these navigation scripts, we may then perform numerical computations of link validation based on Markov chain theory. It is noted that the proposed automatic mechanism is not only systematically effective on certifying hyperlinks, but also highly efficient for designing a test process.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems

Distributed real-time systems are of one important type of real-time systems. They are usually characterized by both reactive and real-time factors and it has long been recognized that how to automatically check such systems’ correctness at run time is still an unaddressed problem. As one of the main solutions, test oracle is a method usually used to check whether the system under test has beha...

متن کامل

Framework and Model for Automated Interoperability Test and Its Application to ROHC

In IP world, interoperability testing is heavily used to check the correctness of different implementations. Internet protocols have growing importance in communicating systems. In our paper we show an automatic interoperability test approach and also present its application on an IP-based protocol, ROHC. The primary goal of our work was to define an interoperability testing framework in TTCN-3...

متن کامل

An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

متن کامل

Automatic Generation of Regression Test Cases for Web Components using Domain Analysis and Modeling

Web components and their underlying parts are evolving rapidly to provide services and information over the internet. Web sites are becoming a basic part of business quality of service. As web services play an important role in providing different functionality, their correctness becomes an important factor. The diversity and complexity of web systems derived the need for test automation. Test ...

متن کامل

Automatic formulation of falling multiple flexible-link robotic manipulators using 3×3 rotational matrices

In this paper, the effect of normal impact on the mathematical modeling of flexible multiple links is investigated. The response of such a system can be fully determined by two distinct solution procedures. Highly nonlinear differential equations are exploited to model the falling phase of the system prior to normal impact; and algebraic equations are used to model the normal collision of this ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000